COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	An index into my files:
C00006 ENDMK
C⊗;
An index into my files:

nonmonotonic, circumscription
MINIMA[S77,JMC]
CIRCUM[W78,JMC]
NOTEBO.OK[S77,JMC]
CIRCUM.SLI[S78,JMC]
EXAMPL[W78,JMC]
CIRCUM.NEW[S79,JMC]
CIRCUM.TEX[s79,jmc]
MINIMA.OLD[S79,JMC]
REMARK[E79,JMC]
CIRCUM.AB2[F79,JMC]	FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ABS[F79,JMC]	notes for FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ADD[F79,JMC]	ADDENDUM: CIRCUMSCRIPTION AND OTHER NON-MONOTONIC
				 FORMALISMS"
CIRCUM.NOT[F79,JMC]	minimizing non-monotonic reasoning
CIRCUM.REP[W80,JMC]	REPLIES TO COMMENTS ON "FORMALIZING OCKHAM'S RAZOR"
CIRCUM.W80[W80,JMC]	Circumscription: A Form of non-Monotonic Reasoning
CIRCUM.MOR[S80,JMC]	draft of supplementary paper on circumscription
CLOSED[S80,JMC]		how to do closed world assumption in ordinary logic
circum.sli[w81,jmc]	slides for circumscription lecture ** a bare beginning
circum[f82,jmc]		Mathematical questions of circumscription
circum.ex[f82,jmc]	Examples for circumscription paper
circum.lec[f82,jmc]	Notes for lecture on circumscription
circum.mor[f82,jmc]	More on circumscription - for IJCAI or AAAI
circum.com[w83,jmc]	Making circumscription computable
circum.not[w83,jmc]	More: 1. Circumscribing when generalizing
circum[f83,jmc]		AI Aplications of Circumscription
circum.tex[f83,jmc]	TEX version of above, slightly improved
circum.abs[f83,jmc]	Circumscription abstract for Parikh at Brooklyn College
circum.alt[f83,jmc]	Alternate versions of certain sections of CIRCUM.
circum.not[f83,jmc]	Notes for circum[f83,jmc]
circum.fil[w84,jmc]	List of files treating circumscription
nonmon[w84,jmc]		Applications of non-monotonic reasoning (circum)
circum[s84,jmc]		More for circum[f83,jmc]
circum.pro[s84,jmc]	Problems concerning circumscription
ideas[s84,jmc]		circum vs. default logic
circum.abs[e84,jmc]	Abstract on Mathematical Problems of Circumscription
circum[s85,jmc]		More ideas, see circum.tex[f83,jmc]
circum.add[e85,jmc]	An addition to "Applications of ..." circum.tex[f83,jmc]
circum[f85,jmc]		circumscription with individual parameters
circum[w87,jmc]		yet another form of circumscription
circum[e87,jmc]		Yet another approach to circumscription

meta-epistemology

ascribing

Creary
abstra[f80,jmc]

lisp programs
coales[f80,jmc]		specifying a program for coalescing list structures
coales.lsp[f80,jmc]